Interactive Theorem Proving And Program Development Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

Interactive Theorem Proving and Program Development, Fachbücher

Florian Kammüller | Interactive Theorem Proving In Software

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |

Interactive Theorem Proving 6th International Conference, Itp 2015,

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Automated Theorem Proving Theory And Practice 2333

Current Trends In Hardware Verification And Automated Theorem Proving

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Interactive Theorem Proving, Fachbücher von Jeremy Avigad, Assia Mahboubi

Interactive Theorem Proving, Fachbücher von Jasmin Christian Blanchette, Stephan Merz

Theorem Proving With The Real Numbers 1914

Osman Hasan | Probabilistic Analysis Using Theorem Proving |